An Algebraic Semantics Model for Templates Constrained with a Single Associated Type Concept
نویسندگان
چکیده
Article history: Received 2 February 2014 Received in revised form 8 April 2014 Accepted 28 April 2014 Available online 25 May 2014
منابع مشابه
Weak Algebraic Hyperstructures as a Model for Interpretation of Chemical Reactions
The concept of weak algebraic hyperstructures or Hv-structures constitutes a generalization of the well-known algebraic hyperstructures (semihypergroup, hypergroup and so on). The overall aim of this paper is to present an introduction to some of the results, methods and ideas about chemical examples of weak algebraic hyperstructures. In this paper after an introduction of basic definitions and...
متن کاملThe Banach Type Contraction for Mappings on Algebraic Cone Metric Spaces Associated with An Algebraic Distance and Endowed with a Graph
In this work, we define the notion of an algebraic distance in algebraic cone metric spaces defined by Niknam et al. [A. Niknam, S. Shamsi Gamchi and M. Janfada, Some results on TVS-cone normed spaces and algebraic cone metric spaces, Iranian J. Math. Sci. Infor. 9 (1) (2014), 71--80] and introduce some its elementary properties. Then we prove the existence and uniqueness of fixed point for a B...
متن کاملAlgebraic Semantics of OCL-Constrained Metamodel Specifications
In the definition of domain-specific languages a MOF metamodel is used to define the main types of its abstract syntax, and OCL invariants are used to add semantic constraints. The semantics of a metamodel definition can be given as a model type whose values are well-formed models. A model is said to conform to its metamodel when it is a value of the corresponding model type. However, when OCL ...
متن کاملA Semantic Definition of Separate Type Checking in C++ with Concepts
We formalize the informal definition of C++ concepts that is currently considered by the C++ standardization committee for inclusion in the next version of the language. Our definition captures the basic semantics of separate type checking, where conceptconstrained templates are checked separately from their uses and comprises of three main parts: non-standard name lookup, type checking of cons...
متن کاملA Robust Knapsack Based Constrained Portfolio Optimization
Many portfolio optimization problems deal with allocation of assets which carry a relatively high market price. Therefore, it is necessary to determine the integer value of assets when we deal with portfolio optimization. In addition, one of the main concerns with most portfolio optimization is associated with the type of constraints considered in different models. In many cases, the resulted p...
متن کامل